\begin{nusmvCommand}{print\_fsm\_stats} {Prints out information about the fsm and clustering.}

\cmdLine{print\_fsm\_stats [-h] | [-m] | [-o output-file]}

   This command prints out information regarding the fsm and each cluster.
   In particular for each cluster it prints out the cluster number, the size
   of the cluster (in BDD nodes), the variables occurring in it, the size of
   the cube that has to be quantified out relative to the cluster and the
   variables to be quantified out.

\begin{cmdOpt}
\opt{-m}{Pipes the output generated by the command to the program
specified by the \shellvar{PAGER} shell variable if defined, else
through the \unix command \shellcommand{more}.}

\opt{-o \parameter{\filename{output-file}}}{Writes the output
generated by the command to the file \filename{output-file}.}
\end{cmdOpt}

\end{nusmvCommand}
